[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 23 17 14 14

N.S.

1 1.00 1.00 0.94 0.88 1.44 1.06 0.88 0.88

time (sec)

N/A 0.130 0.028 6.756 0.181 0.242 0.359 0.284 0.032

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 46 41 34 31 126 184 39 33

N.S.

1 1.12 1.00 0.83 0.76 3.07 4.49 0.95 0.80

time (sec)

N/A 0.165 0.039 1.922 0.191 0.258 0.922 0.261 5.467

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 28 26 34 35 46 50 35

N.S.

1 1.00 0.74 0.68 0.89 0.92 1.21 1.32 0.92

time (sec)

N/A 0.151 0.048 1.899 0.196 0.247 0.473 0.299 5.196

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 60 62 51 171 73 72 53

N.S.

1 1.07 0.87 0.90 0.74 2.48 1.06 1.04 0.77

time (sec)

N/A 0.175 0.068 1.943 0.199 0.258 1.772 0.276 5.371

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 68 42 37 54 50 233 106 38

N.S.

1 1.03 0.64 0.56 0.82 0.76 3.53 1.61 0.58

time (sec)

N/A 0.170 0.060 1.918 0.198 0.255 0.687 0.288 5.297

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 103 78 70 89 227 367 65 0

N.S.

1 1.13 0.86 0.77 0.98 2.49 4.03 0.71 0.00

time (sec)

N/A 0.198 0.240 2.002 0.207 0.266 2.785 0.290 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 59 39 36 52 58 138 44 38

N.S.

1 1.09 0.72 0.67 0.96 1.07 2.56 0.81 0.70

time (sec)

N/A 0.172 0.030 1.899 0.195 0.246 0.325 0.283 5.277

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 69 66 57 65 199 303 51 0

N.S.

1 1.08 1.03 0.89 1.02 3.11 4.73 0.80 0.00

time (sec)

N/A 0.173 0.163 1.922 0.194 0.272 1.538 0.289 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 40 28 25 33 47 92 24 24

N.S.

1 1.11 0.78 0.69 0.92 1.31 2.56 0.67 0.67

time (sec)

N/A 0.164 0.023 1.864 0.187 0.255 0.321 0.302 5.133

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 34 37 44 17 17

N.S.

1 1.00 1.00 0.86 1.62 1.76 2.10 0.81 0.81

time (sec)

N/A 0.134 0.044 1.900 0.204 0.255 0.418 0.296 5.148

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 35 46 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.94 2.56 0.78 0.78

time (sec)

N/A 0.130 0.003 6.765 0.193 0.276 0.302 0.298 5.026

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 29 26 31 47 95 27 28

N.S.

1 1.00 0.74 0.67 0.79 1.21 2.44 0.69 0.72

time (sec)

N/A 0.141 0.043 1.910 0.187 0.259 0.485 0.279 5.036

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 69 54 54 45 197 740 50 47

N.S.

1 1.17 0.92 0.92 0.76 3.34 12.54 0.85 0.80

time (sec)

N/A 0.175 0.058 1.940 0.203 0.268 1.530 0.260 5.255

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 65 42 37 50 59 165 64 42

N.S.

1 1.08 0.70 0.62 0.83 0.98 2.75 1.07 0.70

time (sec)

N/A 0.165 0.060 1.927 0.204 0.263 0.714 0.283 5.194

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 97 71 72 66 241 864 73 73

N.S.

1 1.10 0.81 0.82 0.75 2.74 9.82 0.83 0.83

time (sec)

N/A 0.189 0.082 1.975 0.191 0.280 2.787 0.281 5.322

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 93 53 45 72 72 354 121 78

N.S.

1 1.08 0.62 0.52 0.84 0.84 4.12 1.41 0.91

time (sec)

N/A 0.187 0.068 1.941 0.219 0.261 0.966 0.284 5.111

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 161 100 94 285 359 3181 91 0

N.S.

1 1.23 0.76 0.72 2.18 2.74 24.28 0.69 0.00

time (sec)

N/A 0.235 0.385 2.027 0.220 0.278 25.669 0.299 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 99 61 58 92 102 454 72 80

N.S.

1 1.05 0.65 0.62 0.98 1.09 4.83 0.77 0.85

time (sec)

N/A 0.203 0.037 1.941 0.201 0.278 0.758 0.273 5.696

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 121 88 79 255 331 2980 78 0

N.S.

1 1.14 0.83 0.75 2.41 3.12 28.11 0.74 0.00

time (sec)

N/A 0.214 0.303 1.947 0.236 0.268 13.722 0.289 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 80 50 47 73 91 364 55 63

N.S.

1 1.07 0.67 0.63 0.97 1.21 4.85 0.73 0.84

time (sec)

N/A 0.192 0.034 1.920 0.203 0.257 0.750 0.296 5.346

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 103 59 95 17 68

N.S.

1 1.00 1.00 0.86 4.90 2.81 4.52 0.81 3.24

time (sec)

N/A 0.135 0.080 1.904 0.193 0.256 0.727 0.279 5.389

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 53 80 272 41 41

N.S.

1 1.07 0.66 0.61 0.90 1.36 4.61 0.69 0.69

time (sec)

N/A 0.176 0.031 1.931 0.185 0.269 0.752 0.281 5.337

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 85 71 199 29 68

N.S.

1 1.00 0.70 0.64 1.93 1.61 4.52 0.66 1.55

time (sec)

N/A 0.154 0.084 1.917 0.195 0.261 0.836 0.298 5.226

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 33 69 180 24 24

N.S.

1 1.11 0.74 0.66 0.87 1.82 4.74 0.63 0.63

time (sec)

N/A 0.165 0.026 1.899 0.184 0.263 0.749 0.267 5.101

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 70 82 517 43 70

N.S.

1 1.09 0.62 0.57 1.03 1.21 7.60 0.63 1.03

time (sec)

N/A 0.169 0.076 6.851 0.189 0.256 0.964 0.266 5.128

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 57 90 14 14

N.S.

1 1.00 1.00 0.83 0.78 3.17 5.00 0.78 0.78

time (sec)

N/A 0.131 0.004 1.902 0.194 0.251 0.727 0.269 4.967

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 93 51 48 61 91 1265 55 61

N.S.

1 1.21 0.66 0.62 0.79 1.18 16.43 0.71 0.79

time (sec)

N/A 0.170 0.069 6.844 0.189 0.276 1.174 0.275 5.091

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 115 76 76 73 329 5250 81 75

N.S.

1 1.21 0.80 0.80 0.77 3.46 55.26 0.85 0.79

time (sec)

N/A 0.204 0.076 1.936 0.194 0.281 3.961 0.271 5.450

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 119 64 59 82 103 400 90 76

N.S.

1 1.19 0.64 0.59 0.82 1.03 4.00 0.90 0.76

time (sec)

N/A 0.192 0.096 1.978 0.227 0.270 1.480 0.292 5.472

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 143 93 94 96 373 5540 104 113

N.S.

1 1.13 0.74 0.75 0.76 2.96 43.97 0.83 0.90

time (sec)

N/A 0.215 0.088 2.019 0.199 0.299 7.251 0.293 5.325

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 149 75 70 108 116 668 147 97

N.S.

1 1.13 0.57 0.53 0.82 0.88 5.06 1.11 0.73

time (sec)

N/A 0.212 0.110 1.956 0.200 0.284 1.914 0.308 5.048

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 50 27 23 40 23 44 34 21

N.S.

1 1.09 0.59 0.50 0.87 0.50 0.96 0.74 0.46

time (sec)

N/A 0.164 0.021 1.914 0.273 0.235 0.225 0.272 0.028

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 50 44 27 33 37 39 36 25

N.S.

1 1.11 0.98 0.60 0.73 0.82 0.87 0.80 0.56

time (sec)

N/A 0.153 0.038 1.951 0.283 0.243 0.166 0.287 0.035

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 35 22 18 26 18 27 23 15

N.S.

1 1.13 0.71 0.58 0.84 0.58 0.87 0.74 0.48

time (sec)

N/A 0.156 0.014 1.891 0.287 0.257 0.115 0.284 0.021

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 37 20 19 29 22 29 17

N.S.

1 1.00 1.37 0.74 0.70 1.07 0.81 1.07 0.63

time (sec)

N/A 0.139 0.028 1.964 0.271 0.256 0.094 0.293 0.037

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 11 10 11 9

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.67 0.73 0.60

time (sec)

N/A 0.129 0.001 1.899 0.190 0.258 0.068 0.284 0.017

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 20 7 6 16 7 29 6

N.S.

1 1.00 2.00 0.70 0.60 1.60 0.70 2.90 0.60

time (sec)

N/A 0.120 0.001 6.853 0.287 0.257 0.070 0.281 0.031

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 15 9 35 8 29 12

N.S.

1 1.00 1.00 0.75 0.45 1.75 0.40 1.45 0.60

time (sec)

N/A 0.141 0.015 1.913 0.284 0.252 0.543 0.285 0.042

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 18 15 23 12

N.S.

1 1.00 1.00 0.83 0.78 1.00 0.83 1.28 0.67

time (sec)

N/A 0.129 0.021 1.921 0.270 0.253 0.446 0.272 0.023

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 39 30 24 57 44 43 25

N.S.

1 1.10 1.00 0.77 0.62 1.46 1.13 1.10 0.64

time (sec)

N/A 0.150 0.032 6.833 0.274 0.255 1.213 0.287 0.032

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 25 22 29 28 32 42 19

N.S.

1 1.00 0.68 0.59 0.78 0.76 0.86 1.14 0.51

time (sec)

N/A 0.139 0.030 1.906 0.270 0.254 0.640 0.278 0.030

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 66 46 41 38 64 63 55 33

N.S.

1 1.16 0.81 0.72 0.67 1.12 1.11 0.96 0.58

time (sec)

N/A 0.157 0.039 1.940 0.315 0.247 2.598 0.280 0.038

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 50 27 23 40 23 46 43 23

N.S.

1 1.09 0.59 0.50 0.87 0.50 1.00 0.93 0.50

time (sec)

N/A 0.156 0.020 1.922 0.282 0.241 0.232 0.294 0.051

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 50 47 34 33 40 39 26 27

N.S.

1 1.11 1.04 0.76 0.73 0.89 0.87 0.58 0.60

time (sec)

N/A 0.146 0.071 1.948 0.276 0.259 0.178 0.301 0.034

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 35 22 18 26 18 29 23 18

N.S.

1 1.13 0.71 0.58 0.84 0.58 0.94 0.74 0.58

time (sec)

N/A 0.150 0.013 1.935 0.263 0.249 0.121 0.286 0.022

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 40 20 19 32 22 19 19

N.S.

1 1.00 1.48 0.74 0.70 1.19 0.81 0.70 0.70

time (sec)

N/A 0.131 0.045 1.944 0.277 0.245 0.095 0.300 0.025

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 11 12 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.80 0.73 0.73

time (sec)

N/A 0.125 0.001 1.922 0.203 0.275 0.068 0.278 0.080

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 19 7 6 19 7 19 6

N.S.

1 1.00 1.90 0.70 0.60 1.90 0.70 1.90 0.60

time (sec)

N/A 0.116 0.023 1.943 0.275 0.244 0.069 0.288 0.009

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 15 25 18 26 31 20

N.S.

1 1.00 1.00 0.75 1.25 0.90 1.30 1.55 1.00

time (sec)

N/A 0.136 0.015 1.948 0.285 0.262 0.587 0.292 0.124

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 36 33 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.00 1.83 0.78

time (sec)

N/A 0.126 0.023 1.925 0.276 0.267 0.447 0.277 0.024

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 39 30 40 38 99 45 35

N.S.

1 1.10 1.00 0.77 1.03 0.97 2.54 1.15 0.90

time (sec)

N/A 0.150 0.032 1.972 0.283 0.246 1.264 0.262 0.028

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 25 22 29 21 80 73 22

N.S.

1 1.00 0.68 0.59 0.78 0.57 2.16 1.97 0.59

time (sec)

N/A 0.141 0.031 1.919 0.275 0.265 0.705 0.281 0.024

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 66 46 41 54 45 136 57 49

N.S.

1 1.16 0.81 0.72 0.95 0.79 2.39 1.00 0.86

time (sec)

N/A 0.159 0.036 1.976 0.275 0.255 2.620 0.263 4.881

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 50 27 23 40 23 44 34 22

N.S.

1 1.09 0.59 0.50 0.87 0.50 0.96 0.74 0.48

time (sec)

N/A 0.159 0.016 1.955 0.273 0.252 0.216 0.272 4.911

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 59 44 37 45 37 48 37 0

N.S.

1 1.09 0.81 0.69 0.83 0.69 0.89 0.69 0.00

time (sec)

N/A 0.162 0.036 1.992 0.285 0.244 0.161 0.285 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 35 22 18 26 18 27 23 18

N.S.

1 1.13 0.71 0.58 0.84 0.58 0.87 0.74 0.58

time (sec)

N/A 0.155 0.014 1.927 0.273 0.260 0.114 0.289 4.958

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 37 32 31 29 31 30 29

N.S.

1 1.00 1.03 0.89 0.86 0.81 0.86 0.83 0.81

time (sec)

N/A 0.147 0.027 1.966 0.267 0.266 0.086 0.294 0.115

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 11 10 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.67 0.73 0.73

time (sec)

N/A 0.126 0.001 1.926 0.217 0.263 0.065 0.283 0.165

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 43 19 18 16 15 30 16

N.S.

1 1.00 2.26 1.00 0.95 0.84 0.79 1.58 0.84

time (sec)

N/A 0.134 0.003 1.952 0.268 0.250 0.067 0.267 5.017

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 15 9 18 26 14 20

N.S.

1 1.00 1.00 0.75 0.45 0.90 1.30 0.70 1.00

time (sec)

N/A 0.141 0.014 1.952 0.271 0.249 0.565 0.267 0.132

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 18 37 23 14

N.S.

1 1.00 1.00 0.83 0.78 1.00 2.06 1.28 0.78

time (sec)

N/A 0.133 0.021 1.948 0.286 0.245 0.447 0.264 4.848

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 39 30 24 38 99 29 29

N.S.

1 1.10 1.00 0.77 0.62 0.97 2.54 0.74 0.74

time (sec)

N/A 0.146 0.027 1.976 0.272 0.249 1.234 0.263 5.188

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 25 22 29 28 68 42 31

N.S.

1 1.00 0.68 0.59 0.78 0.76 1.84 1.14 0.84

time (sec)

N/A 0.139 0.028 1.952 0.274 0.258 0.666 0.273 4.790

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 66 46 42 38 45 136 41 57

N.S.

1 1.16 0.81 0.74 0.67 0.79 2.39 0.72 1.00

time (sec)

N/A 0.160 0.036 1.983 0.282 0.248 2.622 0.275 4.795

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 50 27 23 40 23 49 34 23

N.S.

1 1.09 0.59 0.50 0.87 0.50 1.07 0.74 0.50

time (sec)

N/A 0.158 0.019 1.918 0.284 0.254 0.245 0.264 5.080

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 59 43 39 33 67 53 0 0

N.S.

1 1.09 0.80 0.72 0.61 1.24 0.98 0.00 0.00

time (sec)

N/A 0.161 0.084 1.947 0.270 0.247 0.271 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 35 22 18 26 18 31 23 18

N.S.

1 1.13 0.71 0.58 0.84 0.58 1.00 0.74 0.58

time (sec)

N/A 0.151 0.014 1.919 0.282 0.253 0.130 0.271 5.017

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 29 19 59 36 0 31

N.S.

1 1.00 1.00 0.81 0.53 1.64 1.00 0.00 0.86

time (sec)

N/A 0.144 0.072 1.958 0.282 0.247 0.185 0.000 0.133

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 11 14 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.93 0.73 0.73

time (sec)

N/A 0.124 0.001 1.919 0.193 0.272 0.085 0.281 0.089

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 8 6 47 17 0 15

N.S.

1 1.00 1.00 0.42 0.32 2.47 0.89 0.00 0.79

time (sec)

N/A 0.130 0.004 6.902 0.272 0.258 0.165 0.000 5.002

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 15 25 43 8 14 14

N.S.

1 1.00 1.00 0.75 1.25 2.15 0.40 0.70 0.70

time (sec)

N/A 0.137 0.013 1.936 0.287 0.256 0.565 0.281 5.041

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 15 0 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.83 0.00 0.78

time (sec)

N/A 0.125 0.045 1.920 0.271 0.244 0.440 0.000 4.727

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 39 30 40 65 46 29 29

N.S.

1 1.10 1.00 0.77 1.03 1.67 1.18 0.74 0.74

time (sec)

N/A 0.148 0.025 5.655 0.273 0.259 1.212 0.259 4.903

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 25 22 29 21 36 0 31

N.S.

1 1.00 0.68 0.59 0.78 0.57 0.97 0.00 0.84

time (sec)

N/A 0.141 0.055 1.931 0.277 0.257 0.680 0.000 4.901

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C C C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 66 46 42 54 72 65 43 60

N.S.

1 1.16 0.81 0.74 0.95 1.26 1.14 0.75 1.05

time (sec)

N/A 0.162 0.032 1.955 0.285 0.253 2.673 0.267 5.013

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 30 12 11 65 14 35 11

N.S.

1 1.00 1.76 0.71 0.65 3.82 0.82 2.06 0.65

time (sec)

N/A 0.123 0.049 1.950 0.185 0.261 0.540 0.257 0.039

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 31 12 11 58 37 41 15

N.S.

1 1.00 1.82 0.71 0.65 3.41 2.18 2.41 0.88

time (sec)

N/A 0.126 0.041 2.086 0.274 0.271 0.544 0.254 0.040

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 21 24 57 37 36 20

N.S.

1 1.00 1.00 0.84 0.96 2.28 1.48 1.44 0.80

time (sec)

N/A 0.137 0.005 1.928 0.184 0.251 0.536 0.300 0.087

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 21 12 68 17 42 25

N.S.

1 1.00 1.00 0.81 0.46 2.62 0.65 1.62 0.96

time (sec)

N/A 0.131 0.006 7.090 0.193 0.251 0.510 0.284 0.107

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 28 14 13 59 17 36 20

N.S.

1 1.00 1.47 0.74 0.68 3.11 0.89 1.89 1.05

time (sec)

N/A 0.136 0.023 6.942 0.202 0.269 0.501 0.276 4.888

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 37 14 13 62 46 43 25

N.S.

1 1.00 1.95 0.74 0.68 3.26 2.42 2.26 1.32

time (sec)

N/A 0.135 0.040 2.199 0.279 0.262 0.541 0.287 0.107

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 23 26 74 46 41 22

N.S.

1 1.00 1.00 0.85 0.96 2.74 1.70 1.52 0.81

time (sec)

N/A 0.142 0.009 1.935 0.190 0.253 0.548 0.277 4.899

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 23 14 74 20 47 27

N.S.

1 1.00 1.00 0.82 0.50 2.64 0.71 1.68 0.96

time (sec)

N/A 0.138 0.005 2.193 0.186 0.265 0.514 0.290 0.110

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 21 13 59 17 37 20

N.S.

1 1.00 1.00 0.84 0.52 2.36 0.68 1.48 0.80

time (sec)

N/A 0.139 0.002 1.946 0.186 0.254 0.514 0.270 0.002

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 21 13 72 46 43 25

N.S.

1 1.00 1.00 0.81 0.50 2.77 1.77 1.65 0.96

time (sec)

N/A 0.141 0.005 7.045 0.281 0.258 0.556 0.271 0.129

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 23 26 63 46 41 22

N.S.

1 1.00 1.00 0.85 0.96 2.33 1.70 1.52 0.81

time (sec)

N/A 0.143 0.005 1.940 0.194 0.263 0.601 0.273 0.134

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 23 14 74 20 47 27

N.S.

1 1.00 1.00 0.82 0.50 2.64 0.71 1.68 0.96

time (sec)

N/A 0.141 0.005 7.073 0.201 0.259 0.538 0.269 4.942

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 6 23 19 28 14

N.S.

1 1.00 1.00 0.94 0.38 1.44 1.19 1.75 0.88

time (sec)

N/A 0.135 0.002 7.053 0.304 0.248 0.531 0.269 5.104

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 209 103 152 0 76 46 0 0

N.S.

1 1.14 0.56 0.83 0.00 0.41 0.25 0.00 0.00

time (sec)

N/A 0.276 10.058 2.027 0.000 0.086 14.543 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 340 85 221 0 71 46 0 0

N.S.

1 1.13 0.28 0.73 0.00 0.24 0.15 0.00 0.00

time (sec)

N/A 0.382 10.039 2.036 0.000 0.088 4.563 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 171 85 138 0 57 46 0 0

N.S.

1 1.12 0.56 0.90 0.00 0.37 0.30 0.00 0.00

time (sec)

N/A 0.242 9.363 1.984 0.000 0.080 1.397 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 307 56 205 0 48 46 0 0

N.S.

1 1.14 0.21 0.76 0.00 0.18 0.17 0.00 0.00

time (sec)

N/A 0.357 7.382 2.022 0.000 0.079 0.644 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 139 54 119 0 42 46 0 0

N.S.

1 1.10 0.43 0.94 0.00 0.33 0.37 0.00 0.00

time (sec)

N/A 0.217 6.479 1.988 0.000 0.093 0.552 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 303 54 194 0 49 49 0 0

N.S.

1 1.15 0.21 0.74 0.00 0.19 0.19 0.00 0.00

time (sec)

N/A 0.352 10.011 2.003 0.000 0.095 0.759 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 139 56 120 0 44 49 0 0

N.S.

1 1.10 0.44 0.95 0.00 0.35 0.39 0.00 0.00

time (sec)

N/A 0.212 10.013 2.003 0.000 0.074 1.431 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

303 343 56 219 0 63 53 0 0

N.S.

1 1.13 0.18 0.72 0.00 0.21 0.17 0.00 0.00

time (sec)

N/A 0.385 10.013 2.012 0.000 0.088 4.741 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 240 102 163 0 90 46 0 0

N.S.

1 1.13 0.48 0.77 0.00 0.42 0.22 0.00 0.00

time (sec)

N/A 0.284 10.055 1.994 0.000 0.091 25.137 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 371 89 232 0 85 46 0 0

N.S.

1 1.13 0.27 0.71 0.00 0.26 0.14 0.00 0.00

time (sec)

N/A 0.403 10.043 2.019 0.000 0.096 8.381 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 202 89 150 0 69 46 0 0

N.S.

1 1.12 0.49 0.83 0.00 0.38 0.25 0.00 0.00

time (sec)

N/A 0.244 10.035 1.989 0.000 0.085 2.524 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 338 57 218 0 63 46 0 0

N.S.

1 1.14 0.19 0.73 0.00 0.21 0.15 0.00 0.00

time (sec)

N/A 0.375 10.011 2.013 0.000 0.087 1.369 0.000 0.000

[next] [prev] [prev-tail] [front] [up]